functor F (
  A : sig
    type t
  end
) =
struct
  val x : int
end
